List of Noctuidae Taken About Newton, Mass.

A List of Questions about Foliations

A Examples and counter-examples of foliations A.1. Elmar Vogt A.1.1 Question : Let F be a compact foliation (i.e. a foliation with all leaves compact) of codimension 3 on a compact manifold. Let B be the first bad set of the Epstein hierarchy of F , i.e. B is the union of all leaves of F with infinite holonomy group. If B is not empty, can B be a manifold ? Remarks : In [44], arguments (due to ...

Reasoning about Lists via List Interleaving

Among the various mathematical tools introduced in his outstanding work on Communicating Sequential Processes, Hoare has defined ”interleaves” as the predicate satisfied by any three lists such that the first list may be split into sublists alternately extracted from the other two ones, whatever is the criterion for extracting an item from either one list or the other in each step. This paper e...

List of Contents

List of Contents

List